Formal Methods for an Informal World. - ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures
- Författare
- (Antonio Cerone, editors.)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 2023 | Schweiz, Cham, Switzerland | 1 online resource (180 pages) |